<?php 

//字符的排序和数字不同 
$a=array(
  "spider.crawl.filter.postfetch"
	      ,
	    "spider.crawl.filter.prefetch"
	,	 
	    "spider.crawl.post.enqueue"
,
	    "spider.crawl.pre_request"
,"1","2","3",1,2,3,4
    ) ;

var_dump($a) ;
sort($a);

var_dump($a) ;
